The Chip That Spoke Lisp
jxself.org·5h
🔗Lisp
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·12h
Proof Automation
GPT-5-Codex is a better AI researcher than me
seangoedecke.com·16h·
Discuss: Hacker News
🧠Intelligence Compression
The Neuron That Wanted to Be God
thealgorithmicbridge.com·34m
🔲Cellular Automata
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·5h·
Discuss: DEV
Performance Mythology
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·16h·
Discuss: Substack
🔩Systems Programming
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·12h
💻Programming languages
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·3h
📐Mathematical Art
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·1d
🌀Brotli Internals
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·1d·
Discuss: Hacker News
💻Local LLMs
Delimited Continuations in Lone Lisp
matheusmoreira.com·4d·
🔗Lisp
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
The IBM 5100 – By Bradford Morgan White
abortretry.fail·6h·
Discuss: Hacker News
🏢IBM Mainframes
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Functional Programming Through the Lens of a Philosopher and Linguist
gotopia.tech·11h·
Discuss: Hacker News
🛠Language Design
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.org·12h
⚙️TLA+
Making performant Python bindings to compiled code
kylebarron.dev·2h·
Discuss: Hacker News
🦀Rust Macros
Deterministic AI: Why Reliability, Not Creativity, Is the Future of LLMs
davletd.medium.com·21h·
Discuss: Hacker News
⚙️TLA+
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·12h
🌀Brotli Internals